"Describes the latest techniques and real-life applications of computational fluid dynamics (CFD) and heat transfer in aeronautics, materials processing and manufacturing, electronic cooling, and environmental control. Includes new material from experienced researchers in the field. Complete with detailed equations for fluid flow and heat transfer."

This important reference describes the latest techniques and real-life applications of computational fluid dynamics (CFD) and heat transfer in aeronautics, materials processing and manufacturing, electronic cooling, and environmental control. Includes new material from experienced researchers in the field Complete with detailed equations for fluid flow and heat transfer, Applied Computational Fluid Dynamics provides a state-of-the-art review of dynamic and thermal turbulence modeling discusses the impact of unsteadiness in turbine flows for the first time in book form reviews numerical results of modeling plastic extrusion, optical fiber drawing, casting, and heat treatment highlights methods and codes for grid generation describes CFD's role in improving aircraft engine efficiency, air quality control, and electronic cooling rates for the first time in a single source points the way toward solutions for acid deposition, global climate warming, and related dilemmas resolves practical problems for inlet, duct, and nozzle flows elucidates the thermal design of computer components, along with passive thermal control techniques and more Featuring more than 500 figures and equations as well as case studies, Applied Computational Fluid Dynamics serves as an excellent reference for mechanical, chemical, civil, lubrication, automotive, heat transfer, aerospace, industrial, materials process, environmental, marine, and fluid dynamics engineers; electronic product, thermal, and turbomachinery designers; materials scientists; computational physicists; and graduate students in these disciplines.

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communication networks, automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that utilizes many interesting mathematical models and techniques. In Modeling and Control of Logical Discrete Event Systems, the focus is on a high level treatment of discrete event systems, where the order of events, rather their occurrence times, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired logical goals. In this framework, discrete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field -- it includes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields.Modeling and Control of Logical Discrete Event Systems is the first book of this kind for professionals in the area of discrete event systems. The book is also designed for a graduate level course on logical discrete event systems. It contains all the necessary background material in formal language theory and lattice theory. The only prerequisite is some degree of 'mathematical maturity'. Several examples and exercise problems are included in each chapter to facilitate classroom teaching.

Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory. The absence of a shared clock means that the concept of time is not useful in distributed systems. The absence of shared memory implies that the concept of a state of a distributed system also needs to be redefined. These two important concepts occupy a major portion of this book. Principles of Distributed Systems describes tools and techniques that have been successfully applied to tackle the problem of global time and state in distributed systems. The author demonstrates that the concept of time can be replaced by that of causality, and clocks can be constructed to provide causality information. The problem of not having a global state is alleviated by developing efficient algorithms for detecting properties and computing global functions. The author's major emphasis is in developing general mechanisms that can be applied to a variety of problems. For example, instead of discussing algorithms for standard problems, such as termination detection and deadlocks, the book discusses algorithms to detect general properties of a distributed computation. Also included are several worked examples and exercise problems that can be used for individual practice and classroom instruction. Audience: Can be used to teach a one-semester graduate course on distributed systems. Also an invaluable reference book for researchers and practitioners working on the many different aspects of distributed systems.

Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory. The absence of a shared clock means that the concept of time is not useful in distributed systems. The absence of shared memory implies that the concept of a state of a distributed system also needs to be redefined. These two important concepts occupy a major portion of this book. Principles of Distributed Systems describes tools and techniques that have been successfully applied to tackle the problem of global time and state in distributed systems. The author demonstrates that the concept of time can be replaced by that of causality, and clocks can be constructed to provide causality information. The problem of not having a global state is alleviated by developing efficient algorithms for detecting properties and computing global functions. The author's major emphasis is in developing general mechanisms that can be applied to a variety of problems. For example, instead of discussing algorithms for standard problems, such as termination detection and deadlocks, the book discusses algorithms to detect general properties of a distributed computation. Also included are several worked examples and exercise problems that can be used for individual practice and classroom instruction. Audience: Can be used to teach a one-semester graduate course on distributed systems. Also an invaluable reference book for researchers and practitioners working on the many different aspects of distributed systems.

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communication networks, automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that utilizes many interesting mathematical models and techniques. In Modeling and Control of Logical Discrete Event Systems, the focus is on a high level treatment of discrete event systems, where the order of events, rather their occurrence times, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired logical goals. In this framework, discrete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field -- it includes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields. Modeling and Control of Logical Discrete Event Systems is the first book of this kind for professionals in the area of discrete event systems. The book is also designed for a graduate level course on logical discrete event systems. It contains all the necessary background material in formal language theory and lattice theory. The only prerequisite is some degree of mathematical maturity'. Several examples and exercise problems are included in each chapter to facilitate classroom teaching.